DEF=poly-unparsing
EXT=poly-unparsing
TESTDIR=.
KOMPILE_BACKEND=haskell
KAST_FLAGS=--expand-macros --input kore --output pretty

include ../../../include/kframework/ktest.mak
